Hask Is Not a Category
math.andrej.com·16h·
Discuss: Hacker News
➡️Category Theory
Fixed-Point-Oriented Programming: A Concise and Elegant Paradigm
arxiv.org·1d
🔄Finite State Machines
30 Easy Python Projects, Solved & Explained in a Simple Way
quickcodesummary.blogspot.com·16h·
Discuss: r/programming
✓Automated Theorem Proving
2000 words about arrays and tables
buttondown.com·21h·
Discuss: Lobsters, Hacker News
🏹Effect Systems
Strong Goldbach in 2nd-order logic under standard semantics, semantically closed
medium.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Understanding ASTs
hypermod.io·2d·
Discuss: Hacker News
🔬Static Analysis
Using Scaling Laws for Data Source Utility Estimation in Domain-Specific Pre-Training
arxiv.org·6h
🧪Property-Based Testing
Gödel: The Limits of Logic and the Foundations of Modern Mathematics
quantumzeitgeist.com·1h·
Discuss: Hacker News
➡️Category Theory
Proving theorems using Julia's types (or, a mini-Lean in Julia)
lmao.bearblog.dev·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Concrete Security Bounds for Simulation-Based Proofs of Multi-Party Computation Protocols
arxiv.org·6h
🛡️seL4
Large Language Models
davidtemplin.name·1d·
Discuss: Hacker News
🤖Program Synthesis
The Dartboard Sequence
mathpages.com·9h·
Discuss: Hacker News
🎮Verification Games
Jonhoo and Helsing AI's DSON: A delta-state CRDT for resilient P2P communication
blog.helsing.ai·8h·
Discuss: Hacker News
🌐NetworkProtocols
Unit Testing in NestJS for Node Using Suites (Formerly Automock)
blog.appsignal.com·20h·
Discuss: Hacker News
🧪Property-Based Testing
Laurence Tratt: Which Parsing Approach?
tratt.net·2d·
Discuss: r/programming
🔬Static Analysis
Language Arithmetics: Towards Systematic Language Neuron Identification and Manipulation
arxiv.org·6h
🐫OCaml
A Periodic Table of System Design Principles
github.com·1d·
Discuss: Hacker News
⚙️Operating System Design
Encoding SAT in OCaml GADTs
farlow.dev·3d·
Discuss: Hacker News
🐫OCaml
PHP-ORT: Machine Learning Inference for the Web
krakjoe.github.io·1d·
Discuss: Lobsters, Hacker News
⚙️PL Implementation
A Compute-Matched Re-Evaluation of TroVE on MATH
arxiv.org·6h
✓Automated Theorem Proving